(define a (lambda (x) (lambda (y) x)))
(define b (lambda (x) (lambda (y) y)))
(define c (lambda (x) (lambda (y) (lambda (x) x))))
(define d (lambda (x) (lambda (y) (lambda (x) y))))
